<div>
 The name of the tool. The tool name must be pre-configured in Jenkins under <em>Manage Jenkins</em> &rarr; <em>Global Tool Configuration</em>.
</div>
